\begin{coqdoccode}
\coqdocnoindent
\coqdockw{Definition} \coqdocvar{State} := \coqdocvar{Id} \ensuremath{\rightarrow} \coqdocvar{option} \coqdocvar{Val}.\coqdoceol
\end{coqdoccode}